PyDigger - unearthing stuff about Python


NameVersionSummarydate
nd-prover 0.1.0 An interactive Fitch-style proof checker 2025-08-04 23:54:18
hourdayweektotal
7619919004317024
Elapsed time: 3.25903s